dist_man_MANS = gnome-shell.1
